/*
 *  The dev_info.h header file defines some structures for the devices file system
 */

#ifndef _DEV_INFO_H
#define _DEV_INFO_H

#include <types.h>


#endif /* _DEV_INFO_H */
